pipe cooler - German English Dictionary